Majorization for Infinite Sequences, an Extension of the Schur-horn Theorem, and Operator Ideals

Abstract. The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences ξ and η that converge to 0, there exists a compact operator A with eigenvalue list η and diagonal sequence ξ if and only if Pn j=1 ξj ≤ Pn j=1 ηj for every n if and only if ξ = Qη for some orthostochastic matrix Q. The similar result requiring equality of the infinite series in the case that ξ and η are summable is an extension of a recent theorem by Arveson and Kadison. Our proof depends on the construction and analysis of an infinite product of T-transform matrices. Further results on majorization for infinite sequences providing “intermediate” sequences generalize known results from the finite case. Majorization properties and invariance under various classes of stochastic matrices are then used to characterize arithmetic mean closed operator ideals.